Modeling Obligations with Event-Calculus
نویسندگان
چکیده
Time plays an important role in norms. In this paper we start from our previously proposed classification of obligations, and point out some shortcomings of Event Calculus (EC) to represent obligations. We propose an extension of EC that avoids such shortcomings and we show how to use it to model the various types of obligations.
منابع مشابه
Contract Driven Agents
We propose, as part of an agent architecture, a system where contracts are represented as first-class entities to allow the relationships between agents to be specified and developed separately from their built-in capabilities. The contracts allow the agent’s problem-solving ability to be augmented by the potential of outsourcing tasks and obligations to other agents. The contracts also allow t...
متن کاملAn Architecture For Contract-based Communicating Agents
We extend AgentSpeak (L), a belief-desires-intentions architecture, to reason about and plan with contracts between communicating agents. Our architecture is hybrid in the sense that it incorporates both immediate reaction rules and a more complex planning component. We represent contracts as first-class entities to allow the relationships between agents to be specified and developed separately...
متن کاملTowards a Deontic Cognitive Event Ontology
Although there have been efforts to integrate Semantic Web technologies and Cognitive Science approaches, they are still relatively isolated. Herein we introduce a new ontology framework supporting representation and reasoning on complex cognitive information using Semantic Web tools. The framework consists of four parts: an event ontology for information about actions and events, an epistemic ...
متن کاملContract related agents
We propose a simple event calculus representation of contracts and a reactive belief-desire-intention agent architecture to enable the monitoring and execution of contract terms and conditions. We use the event calculus to deduce current and past obligations, obligation fulfilment and violation. By associating meta-information with the contracts, the agent is able to select which of its contrac...
متن کاملUtilizing Permission Norms in BDI Practical Normative Reasoning
Norms have been used in multiagent systems as a standard description of agents’ behaviors. Much effort has been put in formalizing norms and utilizing them in agent decision making with such work often focusing on two types of norms: prohibitions and obligations. However, agents may have incomplete knowledge about norms in a system for several reasons, such as, deficient norms identification te...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014